﻿using OverSATbLib;
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
using System.Threading.Tasks;

namespace OverSATb
{
    class Program
    {
        static void Main(string[] args)
        {
            foreach (var s in args)
            {
                Console.WriteLine("Solving {0}", s);
                string fileContents = System.IO.File.ReadAllText(s);
                string results = CNFSatSolver.SolveCNFString(fileContents, 1);
                var outfile = s.Replace(".cnf", "_results.txt");
                System.IO.File.WriteAllText(outfile, results);
            }
        }
    }
}
